$\forall$$A$, $B$, $C$:Realizer. $A$ $\subseteq$ $C$ $\Rightarrow$ $B$ $\subseteq$ $C$ $\Rightarrow$ R{-}plus($A$;$B$) $\subseteq$ $C$